#ifndef CountingSemaphore_h
#define CountingSemaphore_h
#include "Thread.h"

class CountingSemaphore
{
private:
	Mutex* m_s1;
	Mutex* m_s2;
	int m_wait;
	int m_wake;
	int m_value;

public:
	CountingSemaphore(int);
	~CountingSemaphore(void);
	int up(Thread *t);
	int down(Thread *t);
};
#endif
